Fast, Simple and Separable Computation of Betti Numbers on Three-Dimensional Cubical Complexes
نویسندگان
چکیده
Betti numbers are topological invariants that count the number of holes of each dimension in a space. Cubical complexes are a class of CW complex whose cells are cubes of different dimensions such as points, segments, squares, cubes, etc. They are particularly useful for modeling structured data such as binary volumes. We introduce a fast and simple method for computing the Betti numbers of a three-dimensional cubical complex that takes advantage on its regular structure, which is not possible with other types of CW complexes such as simplicial or polyhedral complexes. This algorithm is also restricted to three-dimensional spaces since it exploits the Euler-Poincaré formula and the Alexander duality in order to avoid any matrix manipulation. The method runs in linear time on a single core CPU. Moreover, the regular cubical structure allows us to obtain an efficient implementation for a multi-core architecture.
منابع مشابه
On a special class of Stanley-Reisner ideals
For an $n$-gon with vertices at points $1,2,cdots,n$, the Betti numbers of its suspension, the simplicial complex that involves two more vertices $n+1$ and $n+2$, is known. In this paper, with a constructive and simple proof, wegeneralize this result to find the minimal free resolution and Betti numbers of the $S$-module $S/I$ where $S=K[x_{1},cdots, x_{n}]$ and $I$ is the associated ideal to ...
متن کاملA Tool for Integer Homology Computation: λ-AT-Model ?
In this paper, we formalize the notion of λ-AT-model (where λ is a non-null integer) for a given chain complex, which allows the computation of homological information in the integer domain avoiding using the Smith Normal Form of the boundary matrices. We present an algorithm for computing such a model, obtaining Betti numbers, the prime numbers p involved in the invariant factors of the torsio...
متن کاملNumerical study of fins arrangement and nanofluids effects on three-dimensional natural convection in the cubical enclosure
This investigation is a three dimensional comprehensive heat transfer analysis for partially differentially heated enclosure with the vertical fin mounted on the hot wall. The thermal lattice Boltzmann based on D3Q19 method is utilized to illustrate the effects of vertical fins and nanoparticles on the flow and thermal fields. The effects of Rayleigh number and different arrangement of fins on ...
متن کاملOn the Computational Complexity of Betti Numbers: Reductions from Matrix Rank
We give evidence for the difficulty of computing Betti numbers of simplicial complexes over a finite field. We do this by reducing the rank computation for sparse matrices with m non-zero entries to computing Betti numbers of simplicial complexes consisting of at most a constant times m simplices. Together with the known reduction in the other direction, this implies that the two problems have ...
متن کاملA tool for integer homology computation: lambda-AT-model
In this paper, we formalize the notion of λ-AT-model (where λ is a non-null integer) for a given chain complex, which allows the computation of ho-mological information in the integer domain avoiding using the Smith Normal Form of the boundary matrices. We present an algorithm for computing such a model, obtaining Betti numbers, the prime numbers p involved in the invariant factors of the torsi...
متن کامل